Edinburgh

Results: 6612



#Item
151

Old College South Bridge Edinburgh Old college

Add to Reading List

Source URL: www.edinburghfirst.co.uk

- Date: 2014-07-22 05:11:45
    152

    Vijayanand (Vijay) Nagarajan University of Edinburgh School of Informatics 10 Crichton Street Edinburgh, EH8 9AB

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    - Date: 2018-03-16 10:12:47
      153

      Exploring and Predicting the Architecture/Optimising Compiler Co-Design Space Christophe Dubach, Timothy M. Jones and Michael F.P. O’Boyle Members of HiPEAC School of Informatics University of Edinburgh

      Add to Reading List

      Source URL: homepages.inf.ed.ac.uk

      - Date: 2015-03-04 05:17:39
        154

        { Refinement Types | Algebraic Effects } Danel Ahman LFCS, University of Edinburgh HOPE Workshop, 28 September 2013

        Add to Reading List

        Source URL: danelahman.github.io

        - Date: 2018-03-25 20:15:13
          155

          You and Your Research & The Elements of Style Philip Wadler University of Edinburgh Programming Languages Mentoring Workshop

          Add to Reading List

          Source URL: plmw2014.inria.fr

          - Date: 2014-01-27 06:28:28
            156

            James Cheney Informatics ForumCrichton Street University of Edinburgh Edinburgh, EH8 9AB Scotland

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2017-12-16 10:21:06
              157

              Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1.

              Add to Reading List

              Source URL: danelahman.github.io

              - Date: 2018-03-25 20:15:13
                158

                Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                Add to Reading List

                Source URL: danelahman.github.io

                - Date: 2018-03-25 20:15:13
                  159

                  A Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection ANDREW J. MCPHERSON, University of Edinburgh VIJAY NAGARAJAN, University of Edinburgh SUSMIT SARKAR, University of St. Andrews

                  Add to Reading List

                  Source URL: homepages.inf.ed.ac.uk

                  - Date: 2015-10-17 17:50:02
                    160

                    On Ringads and Foldables (Extended Abstract) James McKinna LFCS, School of Informatics University of Edinburgh UK

                    Add to Reading List

                    Source URL: tydeworkshop.org

                    - Date: 2017-11-13 07:34:26
                      UPDATE